Volume 1. Muqaddimāt fī al-tazkiyah -- volume 2. Tazkiyat al-ʻaql wa-al-fikr -- volume 3. Tazkiyat al-jasad -- volume 4, part 1-2. al-Akhlāq wa-al-ādāb -- volume 5. Tazkiyat al-qalb --.

A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous E = mc² . The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.

Part I of this article advances a new theory of humor, the Enlightenment Theory, while contrasting it with other main theories, including the Incongruity, Repression/Relief/Release, and Superiority Theories. The Enlightenment Theory does not contradict these other theories but rather subsumes them. As argued, each of the other theories cannot account for all the aspects of humor explained by the Enlightenment Theory. The discussion is illustrated with examples of humor and explores the acts and circumstances of humor, its literary and (...) artistic expressions, and its physical reactions. Part II shows how the Enlightenment Theory meets challenging issues in humor theory where other theories sometimes falter, including issues such as failed humor, motivation for humor, tickling, laughing gas, and sadistic humor. Also mentioned are literary and musical humor and the relationship of wit to humor. (shrink)

The European Union welfare standardsfor intensively kept pigs have steadilyincreased over the past few years and areproposed to continue in the future. It isimportant that the cost implications of thesechanges in welfare standards are assessed. Theaim of this study was to determine theprofitability of rearing pigs in a range ofhousing systems with different standards forpig welfare. Models were constructed tocalculate the cost of pig rearing (6–95 kg) in afully-slatted system (fulfilling minimum EUspace requirements, Directive 91630/EEC); apartly-slatted system; a high-welfare,straw-based system (...) (complying with the UK-basedRoyal Society for the Prevention of Cruelty toAnimals, Freedom Food standards) and afree-range system. The models were also used toassess the consequences of potential increasesin space allowance, and to estimate the cost ofrearing pigs under organic standards.The cost of rearing pigs ranged from92.0 p/kg carcass weight (cw) and 94.6 p/kgcw forthe partly-slatted and fully-slatted systems,to 98.8 p/kgcw and 99.3 p/kgcw for the FreedomFood and free-range systems respectively. Whenspace allowance was increased by 60% to levelsin a recent proposal to revise pig welfareDirective (91/630/EEC), the rearing costs wereunchanged for the free-range system but rose by4.6 p/kgcw for the fully-slatted system. Rearingcosts under organic standards were 31% higherthan in the free-range system. These resultssuggest that improved pig welfare can beachieved with a modest increase in cost. (shrink)

One of the basic theorems in universal algebra is Birkhoff's variety theorem: the smallest equationally axiomatizable class containing a class K of algebras coincides with the class obtained by taking homomorphic images of subalgebras of direct products of elements of K. G. Gratzer asked whether the variety theorem is equivalent to the Axiom of Choice. In 1980, two of the present authors proved that Birkhoff's theorem can already be derived in ZF. Surprisingly, the Axiom of Foundation plays a crucial role (...) here: we show that Birkhoff's theorem cannot be derived in ZF + AC {Foundation}. even if we add Foundation for Finite Sets. We also prove that the variety theorem is equivalent to a purely set-theoretical statement, the Collection Principle. This principle is independent of $ZF \{\operatorname{Foundation}$ . The second part of the paper deals with further connections between axioms of ZF-set theory and theorems of universal algebra. (shrink)

Demosthenes Orationes Vol. II. Part i (Orationes XX-XXVI.).

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic (...) semantics so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Context: In this paper I expand aspects of the generalized bottom-up explanatory approach devised in Part I to expound the natural emergence of composite self-organized dynamic systems endowed with self-produced embodied boundaries and with observed degrees of autonomous behavior. In Part I, the focus was on the rules defined by Varela, Maturana & Uribe (VM&U rules), viewed as a validation test to assess if an observed system is autopoietic. This was accomplished by referring to Maturana’s ontological-epistemological frame and (...) by defining distinctions, concepts, and abstractions necessary to describe dynamic systems in any observational domain. This approach concentrates on pure causation flow rather than on domain-specific interaction mechanisms. Problem: It is essential to analyze the requirements imposed by the VM&U rules on the “intra-boundaries” phenomenology for compliance with the self-production capabilities expected from an autopoietic system. Beyond what is merely implied by the compact wording of the VM&U rules, a key point needs to be addressed explicitly: how to describe some “peculiar” capabilities that the components should be endowed with to participate in new component production (as macro-molecules do in the biological domain) so that system’s self-production can be assessed. Method: Using this approach, I first describe the process of constituting self-organized dynamic structures provided with embodied boundaries. Then I explain how a capability of self-organization emerges and how this results in ephemeral configurations that may evolve into self-regulated long-lasting dynamic system stability within a continuous causation flow inside the boundaries, up to the emergence of some “specialized” subsets of components. This explication allows us to distinguish the medium, the boundaries, and the core of a self-organized dynamic system and to focus attention on the “intra-boundaries” phenomenology that should be at the heart of self-production capabilities, as prescribed by the 5th and 6th VM&U rules. Results: I propose an abstract, domain-free description of the “peculiar” composition and decomposition transformation capabilities that components should possess while subject to state transitions triggered within the “intra-boundaries” causation flow. This is combined with a discussion concerning the “intra-boundaries” causation structure’s possible topological layouts that could be compliant with the 6th rule. Implications: The above-mentioned results allow us to improve our analytic criteria when observing dynamic systems existing in non-biological domains in order to assess their autopoietic nature. They also reveal that the task of consistently identifying possible non-biological autopoietic systems is harder than merely identifying self-organized dynamic systems provided with boundaries and some observable autonomous behavioral capabilities in a given observational domain. More implications will be discussed further in Part III. (shrink)

Why do we persist in the relentless pursuit of artificial nourishment and other treatments to maintain a permanently unconscious existence? In facing the future, if not the present world-wide reality of a huge number of persistent vegetative state (PVS) patients, will they be treated because of our ethical commitment to their humanity, or because of an ethical paralysis in the face of biotechnical progress? The PVS patient is cut off from the normal patterns of human connection and communication, with a (...) life unlike other forms of human existence. Why the struggle to justify ending a life which, it is said, has suffered an irreversible loss of the content of consciousness? Elsewhere, the authors have addressed the ethical controversies and confusion engendered by ambiguous terminology, misuse of medical facts and the differing interpretations of what constitutes 'effective' treatment: in particular, the issue of whether in fact artificial nutrition and hydration is a medical treatment, or simply part of the obligatory care owed to all patients, permanently unconscious or not. In this paper, we intend to argue that recent analyses of medical futility, its meaning and ethical implications, despite an absence of public consensus, permit some tentative re-evaluation of our ethical obligations to the PVS patient. (shrink)

We can understand viewed scenes and extract task-relevant information within a few hundred milliseconds. This process is generally supported by three cortical regions that show selectivity for scene images: parahippocampal place area (PPA), medial place area (MPA) and occipital place area (OPA). Prior studies have focused on the visual information each region is responsive to, usually within the context of recognition or navigation. Here, we move beyond these tasks to investigate gaze allocation during scene viewing. Eye movements rely on a (...) scene’s visual representation to direct saccades, and thus foveal vision. In particular, we focus on the contribution of OPA, which is i) located in occipito-parietal cortex, likely feeding information into parts of the dorsal pathway critical for eye movements, and ii) contains strong retinotopic representations of the contralateral visual field. Participants viewed scene images for 1034 ms while their eye movements were recorded. On half of the trials, a 500 ms train of five transcranial magnetic stimulation (TMS) pulses was applied to the participant’s cortex, starting at scene onset. TMS was applied to the right hemisphere over either OPA or the occipital face area (OFA), which also exhibits a contralateral visual field bias but shows selectivity for face stimuli. Participants generally made an overall left-to-right, top-to-bottom pattern of eye movements across all conditions. When TMS was applied to OPA, there was an increased saccade latency for eye movements toward the contralateral relative to the ipsilateral visual field after the final TMS pulse (400ms). Additionally, TMS to the OPA biased fixation positions away from the contralateral side of the scene compared to the control condition, while the OFA group showed no such effect. There was no effect on horizontal saccade amplitudes. These combined results suggest that OPA might serve to represent local scene information that can then be utilized by visuomotor control networks to guide gaze allocation in natural scenes. (shrink)

As the second part of a research agenda addressing the idea and meaning of Sustainable Development, this paper responds to the challenges set in the first paper. Using a Foucaudian perspective, we uncover and highlight the importance of discourse in the development of societal context which could lead to the radical change in our epistemological thought necessary for Sustainable Development to reach its potential. By developing an argument for an epistemological change, we suggest that business organizations have an ethical (...) responsibility towards revaluating Sustainable Development, leading to a discourse based on an integrated inclusive process of celebrating diversity in all its forms. The paper goes on to explore the argument for such a change. This exploration is based on three issues: the notion of over simplification in the promotion of development; the idea of an imbalance in the interaction of business and government operating in the larger context of society; and the notion of increasing responsibility with increasing influence in terms of the business organization within society. Having established the argument for an ethical choice by business organizations, we then reflect on how such a change could be incorporated into an organization. (shrink)

The first part of a new axiomatization for quantum mechanics is described. An expression is derived for the probability associated with a particular value of a variable for a given system at some time.

Recall that B is PA relative to A if B computes a member of every nonempty $\Pi ^0_1(A)$ class. This two-place relation is invariant under Turing equivalence and so can be thought of as a binary relation on Turing degrees. Miller and Soskova [23] introduced the notion of a $\Pi ^0_1$ class relative to an enumeration oracle A, which they called a $\Pi ^0_1{\left \langle {A}\right \rangle }$ class. We study the induced extension of the relation B is PA relative (...) to A to enumeration oracles and hence enumeration degrees. We isolate several classes of enumeration degrees based on their behavior with respect to this relation: the PA bounded degrees, the degrees that have a universal class, the low for PA degrees, and the ${\left \langle {\text {self}\kern1pt}\right \rangle }$ -PA degrees. We study the relationship between these classes and other known classes of enumeration degrees. We also investigate a group of classes of enumeration degrees that were introduced by Kalimullin and Puzarenko [14] based on properties that are commonly studied in descriptive set theory. As part of this investigation, we give characterizations of three of their classes in terms of a special sub-collection of relativized $\Pi ^0_1$ classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question. (shrink)

J. S. Bell's classic 1966 review paper on the foundations of quantum mechanics led directly to the Bell nonlocality theorem. It is not widely appreciated that the review paper contained the basic ingredients needed for a nonlocality result which holds in certain situations where the Bell inequality is not violated. We present in this paper a systematic formulation and evaluation of an argument due to Stairs in 1983, which establishes a nonlocality result based on the Bell-Kochen-Specker “paradox” in quantum mechanics.

In debates in philosophy and cognitive science concerning short-term memory mechanisms and perceptual experience, most discussion has focused on the working memory and the various forms of sensory memory such as iconic memory. In this paper, I present a summary of some evidence for a proposed further form of memory termed conceptual short-term memory. I go on to outline some of the ways in which this additional distinctive sort of short-term memory might be of relevance to ongoing philosophical debates, specifically (...) in relation to questions about high-level perceptual phenomenology, the relationship between consciousness and reportability, and the boundary between cognition and perception. I conclude that conceptual short-term memory offers a promising new direction of research and philosophical investigation. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic (...) semantics so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Context: There is an ongoing debate about the possibility of identifying autopoietic systems in non-biological domains. In other words, whether autopoiesis can be conceived as a domain-free rather than domain-specific concept – regardless of Maturana’s and Varela’s opinions to the contrary. In previous parts my focus was, among other matters, on the rules defined by Varela, Maturana, and Uribe (“VM&U rules”). These rules were viewed as a validation test to assess if an observed system is autopoietic by referring to Maturana’s (...) ontological-epistemological frame. I concluded that identifying possible non-biological autopoietic systems is harder than merely identifying self-organized dynamic systems that are provided with boundaries and some observable autonomous behavioral capabilities in a given observational domain. This is because no assessment could be valid without examining such systems’ “intra-boundaries” phenomenology and proving actual compliance with the VM&U component production rules. Problem: Any rigorous approach to investigating possible self-production capabilities within a given dynamic system needs to drill down on the composition and physical conditions of the system’s core dynamics. My aim now is to discuss the problem of choosing the adequate spatial and temporal scales to be applied when observing and describing dynamic systems in general. When trying to detect an autopoietic system in a given observational domain, the observer needs conceptual tools to apply rigorously the VM&U rules and decide on the matter. This is particularly useful when dealing with systems with spatially distributed components interacting through cause-effect couplings that are independent of the distance between them, as is the case of social systems. Results: For observing dynamic systems, the choice of appropriate spatial and temporal scales of description is not a trivial operation. The observer needs to distinguish between “instantaneous” phenomena and phenomena possessing extended “durations.” I argue that the observer can easily extend the notions discussed by Maturana and Varela to observational domains where the system’s components do not constitute an entity showing a topological “form” in physical space. Furthermore, I show that a diachronic perspective must be applied by observers to explain component production/destruction mechanisms as the outcomes of processes involving structure-determined coordination over relatively long time intervals. Finally, these considerations lead to establishing a link with Varela’s fundamental concept of autonomy. Implications: The adequate choice of spatial and temporal scales of observation and description are essential (a) to discuss the problem of a possible identification of social autopoietic systems, and (b) to analyze the possibility of designing virtual simulated autopoietic systems in software domains (“computational autopoiesis”). (shrink)

H.B.G. Casimir's life, interests and works are intertwined with the important developments that have taken place in physics during this century. This book was compiled by his friends and admirers in honour of his 80th birthday and concentrates mainly on Casimir's achievements in the field of physics, though without ignoring the peripheral areas of the history and philosophy of physics in which he was greatly interested. The book is divided into four parts. Part I describes Casimir's teachers, Ehrenfest, Bohr (...) and Pauli, and will be of general interest due to the key role which these physicists played in modern developments. The articles do give new facts and provide new insights into the history of modern physics. Part II consists of essays on recent developments in various areas of physics in which Casimir has taken an active interest, such as the modern concept of time, statistical foundations of electrodynamic theory and field theory. The subjects covered in Part III have been selected because of Casimir's efforts in the industrial research area of physics. They cover past, present and future expectations in research. (shrink)

Søren Kierkegaard, the nineteenth-century Danish philosopher rediscovered in the twentieth century, is a major influence in contemporary philosophy, religion, and literature. He regarded Either/Or as the beginning of his authorship, although he had published two earlier works on Hans Christian Andersen and irony. The pseudonymous volumes of Either/Or are the writings of a young man and of Judge William. The ironical young man's papers include a collection of sardonic aphorisms; essays on Mozart, modern drama, and boredom; and "The Seducer's Diary." (...) The seeming miscellany is a reflective presentation of aspects of the "either," the esthetic view of life. Part II is an older friend's "or," the ethical life of integrated, authentic personhood, elaborated in discussions of personal becoming and of marriage. The resolution of the "either/or" is left to the reader, for there is no Part III until the appearance of Stages on Life's Way. The poetic-reflective creations of a master stylist and imaginative impersonator, the two men write in distinctive ways appropriate to their respective positions. (shrink)